-
1 конструктивное исчисление
Большой англо-русский и русско-английский словарь > конструктивное исчисление
-
2 конструктивное исчисление
Mathematics: constructive calculusУниверсальный русско-английский словарь > конструктивное исчисление
-
3 конструктивное исчисление
Русско-английский научно-технический словарь Масловского > конструктивное исчисление
-
4 конструктивное исчисление высказываний
Mathematics: constructive propositional calculusУниверсальный русско-английский словарь > конструктивное исчисление высказываний
-
5 конструктивное исчисление предикатов
Mathematics: constructive predicate calculusУниверсальный русско-английский словарь > конструктивное исчисление предикатов
-
6 конструктивное исчисление предикатов
Русско-английский научно-технический словарь Масловского > конструктивное исчисление предикатов
-
7 конструктивное пропозициональное исчисление
Mathematics: constructive propositional calculusУниверсальный русско-английский словарь > конструктивное пропозициональное исчисление
-
8 constructive propositional calculus
конструктивное исчисление высказываний, конструктивное пропозициональное исчислениеEnglish-Russian scientific dictionary > constructive propositional calculus
-
9 konstruktiver Aussagenkalkül
конструктивное исчисление высказыванийНемецко-русский математический словарь > konstruktiver Aussagenkalkül
-
10 konstruktiver Prädikatenkalkül
конструктивное исчисление предикатовНемецко-русский математический словарь > konstruktiver Prädikatenkalkül
-
11 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
12 constructive propositional calculus
Универсальный англо-русский словарь > constructive propositional calculus
-
13 constructive calculus
Большой англо-русский и русско-английский словарь > constructive calculus
-
14 constructive calculus
Математика: конструктивное исчисление -
15 constructive predicate calculus
Математика: конструктивное исчисление предикатовУниверсальный англо-русский словарь > constructive predicate calculus
-
16 constructive calculus
English-Russian scientific dictionary > constructive calculus
-
17 constructive predicate calculus
English-Russian scientific dictionary > constructive predicate calculus
См. также в других словарях:
КОНСТРУКТИВНОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИИ — логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения конструктивной математики. Обычно этот термин рассматривается как синоним термина интуиционистское исчисление высказываний. Однако, при нек рых специальных… … Математическая энциклопедия
ИНТУИЦИОНИСТСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения интуиционизма. Общепринятая (к 1978) формулировка И. и. в. была предложена А. Рейтингом (A. Heyting) в 1930. Основное ее отличие от классич. исчисления… … Математическая энциклопедия
Логическое исчисление — Исчисление (формальная система), интерпретируемое в терминах какого либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. и … Большая советская энциклопедия
Натуральное исчисление — исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и независимо польским логиком С. Яськовским) с целью формализации процесса логического … Большая советская энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… … Философская энциклопедия
КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… … Математическая энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
РЕАЛИЗУЕМОСТЬ — (р е к у р с и в н а я р е а л и з у е м о с т ь) – понятие, лежащее в основе предложенного С. К. Клини (1945) метода конструктивного (интуиционистского) понимания матем. (и логич.) предложений, к рый позволяет в точных терминах говорить об их… … Философская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия